Diagnosis from scenarios
نویسندگان
چکیده
منابع مشابه
Diagnosis from scenarios
Diagnosis of a system consists in providing explanations to a supervisor from a partial observation of the system and a model of possible executions. This paper proposes a partial order diagnosis algorithm that recovers sets of scenarios which correspond to a given observation. The main difficulty is that some actions are unobservable but may still induce some causal ordering among observed eve...
متن کاملModels from Scenarios
Synthesis of Petri nets from behavioral descriptions has important applications in the design of systems in different application areas. In this paper we present a survey on the technique of region based synthesis of Petri nets from languages. Each word in a given language specifies one run of the searched Petri net, i.e. represents one observable scenario of the system. We concentrate on recen...
متن کاملFrom scenarios to components
Scenario-based modeling has evolved as an accepted paradigm for developing complex systems of various kinds. Its main purpose is to ensure that a system provides desired behavior to its users. A scenario is generally understood as a behavioral requirement, denoting a course of actions that shall occur in the system. A typical notation of a scenario is a Message Sequence Chart or, more general, ...
متن کاملFrom Scenarios to Timed Automata
We describe a new method of synthesizing a formal model for real-time systems from scenarios. Scenarios, formally defined as Timed Event Sequences, together with mode graphs are used to describe behaviors of real-time systems. Given a set of Timed Event Sequences and a mode graph, our synthesis method constructs a minimal, acyclic, deterministic timed automaton that models the specified aspects...
متن کاملLearning from global emissions scenarios
Scenarios of global greenhouse gas emissions have played a key role in climate change analysis for over twenty years. Currently, several research communities are organizing to undertake a new round of scenario development in the lead-up to the Fifth Assessment Report of the Intergovernmental Panel on Climate Change (IPCC). To help inform this process, we assess a number of past efforts to devel...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Discrete Event Dynamic Systems
سال: 2013
ISSN: 0924-6703,1573-7594
DOI: 10.1007/s10626-013-0158-2